Binary Quadratic Forms over F [ T ] and Principal Ideal Domains
نویسنده
چکیده
This paper concerns binary quadratic forms over F[T ]. It develops theory analogous to the theory of binary quadratic forms over Z. Most although not all of the results are almost identical, while some of the proofs require different techniques. In particular, the form class group is determined when the form takes values in a principal ideal domain, and the ideal class group (and class group isomorphism) is determined when the form takes values in F[T ].
منابع مشابه
Definite Quadratic Forms over Fq[x]
Let R be a principal ideal domain with quotient field F . An R-lattice is a free R-module of finite rank spanning an inner product space over F . The classification problem asks for a reasonably effective set of criteria to determine when two given R-lattices are isometric; that is, when there is an inner-product preserving isomorphism carrying one lattice onto the other. In this paper R is the...
متن کاملThe Development of the Principal Genus Theorem
Genus theory belongs to algebraic number theory and, in very broad terms, deals with the part of the ideal class group of a number field that is ‘easy to compute’. Historically, the importance of genus theory stems from the fact that it was the essential algebraic ingredient in the derivation of the classical reciprocity laws – from Gauß’s second proof over Kummer’s contributions up to Takagi’s...
متن کاملEuclidean Quadratic Forms and Adc-forms: I
Introduction 2 1. Normed Rings 4 1.1. Elementwise Norms 4 1.2. Ideal norms 5 1.3. Finite Quotient Domains 5 1.4. Euclidean norms 6 2. Euclidean quadratic forms and ADC forms 7 2.1. Euclidean quadratic forms 7 2.2. Euclideanity 7 2.3. ADC-forms 8 2.4. Euclidean Forms are ADC Forms 8 2.5. The Generalized Cassels-Pfister Theorem 9 2.6. Maximal Lattices 10 3. Localization and Completion 11 3.1. Loc...
متن کاملModuli Spaces for Rings and Ideals
The association of algebraic objects to forms has had many important applications in number theory. Gauss, over two centuries ago, studied quadratic rings and ideals associated to binary quadratic forms, and found that ideal classes of quadratic rings are exactly parametrized by equivalence classes of integral binary quadratic forms. Delone and Faddeev, in 1940, showed that cubic rings are para...
متن کاملREPRESENTATIONS OF DEFINITE BINARY QUADRATIC FORMS OVER F q [ t ]
In this paper, we prove that a binary definite quadratic form over Fq[t], where q is odd, is completely determined up to equivalence by the polynomials it represents up to degree 3m− 2, where m is the degree of its discriminant. We also characterize, when q > 13, all the definite binary forms over Fq[t] that have class number one.
متن کامل